-
1 формализованная реализуемость
Русско-английский научно-технический словарь Масловского > формализованная реализуемость
-
2 формализованная реализуемость
Mathematics: formalized realizabilityУниверсальный русско-английский словарь > формализованная реализуемость
См. также в других словарях:
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
History of logic — Philosophy ( … Wikipedia